Cognitive agents with non-monotonic reasoning
نویسنده
چکیده
This extended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities.
منابع مشابه
ASPMT(QS): Non-Monotonic Spatial Reasoning
The systematic modelling of dynamic spatial systems [9] is a key requirement in a wide range of application areas such as comonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning —a crucial requirement within dynamic spatial systems– based ...
متن کاملNon-Monotonic Spatial Reasoning
The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning —a crucial requirement within dynamic spatial systems— based on ...
متن کاملProspective Storytelling Agents
Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical future scenaria. This capability for prediction is essential for proactive agents working with partial information in dynamically changing environments. The present work explores the use of state-of-the-art declarative non-monotonic ...
متن کاملDefeasible Reasoning as a Cognitive Model
One of the most important developments over the last twenty years both in logic and in Artificial Intelligence is the emergence of so-called non-monotonic logics. These logics were initially developed by McCarthy [10], McDermott & Doyle [13], and Reiter [17]. Part of the original motivation was to provide a formal framework within which to model cognitive phenomena such as defeasible inference ...
متن کاملReasoning about Space and Change with Answer Set Programming Modulo Theories
The aim of my work is to establish a computational framework for commonsense spatial reasoning about dynamic domains. The work accomplished so far consists of theoretical investigation of a framework based on a paradigm of Answer Set Programming Modulo Theories and its implementation. The developed system enables to integrate geometrical and qualitative spatial information, reason about indirec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008